منابع مشابه
Model file Model parser TM integrator Poly ODE 1 Poly ODE 2 Nonpoly ODE
Hybrid systems are dynamical systems which exhibit both continuous flow and discrete jumps. They are natural modeling formalism for the systems composed of a discrete controller interacting with a physical environment. Since hybrid systems often appear in safetycritical situations, it is non-trivial to study their behavior. A typical way to do that is to explore the reachable state space of a h...
متن کاملAO Revisited
This paper revisits the AO algorithm introduced by Martelli and Montanari and made popular by Nilsson The paper s main contributions are proving that the value of a node monotonically increases as the AO search progresses proving that selective updates of the value function in the AO algorithm are correct and providing guidance to researchers interested in the AO implementation and are proven u...
متن کاملM\'etodos de Otimiza\c{c}\~ao Combinat\'oria Aplicados ao Problema de Compress\~ao MultiFrases
The Internet has led to a dramatic increase in the amount of available information. In this context, reading and understanding this flow of information have become costly tasks. In the last years, to assist people to understand textual data, various Natural Language Processing (NLP) applications based on Combinatorial Optimization have been devised. However, for MultiSentences Compression (MSC)...
متن کاملControl of Delay-ODE, Delay-PDE, and PDE-ODE Cascades
I. INTRODUCTION Delay systems occupy a special place within the field of distributed parameter systems. Certain problems for this class of distributed parameter systems lend themselves to more elegant, or even explicit solutions. An enormous wealth of knowledge and research results exists for control of systems with state delays and input delays. Problems with long input delays, for unstable pl...
متن کاملVisualiza C~ Ao Volum Etrica Em Multiresolu C~ Ao
A volumetric data set is a collection of data in which each data has an associated location in the three-dimensional space. In this work we review the wavelets theory and discuss the application of this technique to the visualization of volumetric data. We show the main algorithms, and discuss some implementation issues.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Sociologias
سال: 2007
ISSN: 1517-4522
DOI: 10.1590/s1517-45222007000200014